Sequential model

Results: 155



#Item
21Color space / Geography / RGB color model / Geovisualization / SRGB / Cartography / RGB color space / Geoinformatics / Color scheme / Frame rate control / CIE 1931 color space

Designing Usable Sequential Color Schemes for Geovisualizations Sequential Color Scheme Generator 1.0 Alžběta BRYCHTOVÁ

Add to Reading List

Source URL: eurocarto.org

Language: English - Date: 2015-11-23 04:58:35
22Computing / Software engineering / Concurrency control / Concurrency / Java platform / Concurrent computing / Communication / Synchronization / U3 / Java memory model / Vienna U-Bahn / Java class file

Extended Sequential Reasoning for Data-Race-Free Programs

Add to Reading List

Source URL: www.hpl.hp.com

Language: English - Date: 2011-05-07 02:09:33
23

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume35.html 20 pages A fully abstract model for sequential computation ? Michael Marz

Add to Reading List

Source URL: www.margaretmorgan.com

Language: English - Date: 2001-09-10 11:02:19
    24Statistics / Probability / Artificial neural networks / Machine learning / Statistical models / Markov models / Artificial intelligence / Computational statistics / Recurrent neural network / Deep learning / Long short-term memory / Autoencoder

    arXiv:1506.02216v3 [cs.LG] 19 JunA Recurrent Latent Variable Model for Sequential Data Junyoung Chung, Kyle Kastner, Laurent Dinh, Kratarth Goel∗, Aaron Courville, Yoshua Bengio†

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2015-06-21 20:40:26
    25Computing / Cache coherency / Computer architecture / Concurrent computing / Cache coherence / Consistency model / Cache memory / Cache / Sequential consistency / MESI protocol / Dragon write-back update protocol

    Themis: Enforcing Titanium Consistency on the NOW Carleton Miyamoto and Ben Liblit CS262 Semester Project Report Computer Science Division University of California at Berkeley {miyamoto,liblit}@CS.Berkeley.EDU

    Add to Reading List

    Source URL: titanium.cs.berkeley.edu

    Language: English - Date: 2014-04-29 06:11:57
    26

    Dynamic Field Theory of Sequential Action: A Model and its Implementation on an Embodied Agent Yulia Sandamirskaya Gregor Sch¨oner

    Add to Reading List

    Source URL: www.ini.rub.de

    Language: English - Date: 2015-03-04 04:56:23
      27

      Dynamic Field Theory of Sequential Action: A Model and its Implementation on an Embodied Agent Yulia Sandamirskaya Gregor Sch¨oner

      Add to Reading List

      Source URL: sandamirskaya.eu

      Language: English - Date: 2008-06-23 14:44:47
        28

        Model Checking mc 1 Revision: 1.12 • check algorithmically temporal / sequential properties

        Add to Reading List

        Source URL: fmv.jku.at

        Language: English - Date: 2006-03-29 04:32:22
          29

          Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

          Add to Reading List

          Source URL: homepages.inf.ed.ac.uk

          Language: English - Date: 2011-04-28 11:25:29
            30Computer memory / Concurrency control / Linearizability / Data / Sequential consistency / Parallel computing / Consistency model / Circular buffer / Write / Transaction processing / Computing / Computer architecture

            Administrivia • Please say your name if you answer a question today • If we don’t have a photo of you yet, stay after class • If you didn’t get test email, let us know – p. 1/20

            Add to Reading List

            Source URL: www.scs.stanford.edu

            Language: English - Date: 2006-09-28 18:49:53
            UPDATE